Linear group - PDFSEARCH.IO - Document Search Engine

Linear group
Results: 750

#	Item
151	Runtime Verification meets Android Security Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA Software Systems Research Group · 2 The Australian National University Add to Reading List Source URL: www.gilvegliach.it Language: English - Date: 2014-02-20 13:15:14 Computer architecture Android software development Android Mobile operating system Malware Symbian Linear temporal logic Motorola Droid Smartphones Software Computing
152	c W.C Carter Lecture 8 MITFall 2007 Add to Reading List Source URL: pruffle.mit.edu Language: English - Date: 2009-06-08 11:32:37 Group theory Binary operations Linear algebra Complex numbers Number Exponentiation Complex plane Function Real number Mathematics Algebra Elementary mathematics
153	INSTITUTE OF PHYSICS IOP PAB GROUP NEWSLETTER Issue 5 Add to Reading List Source URL: www.iop.org Language: English - Date: 2015-04-07 09:44:14 EMMA Daresbury Laboratory Rutherford Appleton Laboratory Science and Technology Facilities Council Diamond Light Source ALICE Cockcroft Institute Synchrotron Linear particle accelerator Particle accelerators Physics Particle physics
154	c W.C Carter Lecture 8 MITFall 2007 Add to Reading List Source URL: pruffle.mit.edu Language: English - Date: 2009-06-08 11:31:28 Group theory Binary operations Linear algebra Complex numbers Number Exponentiation Complex plane Function Real number Mathematics Algebra Elementary mathematics
155	CS224d Deep NLP Lecture 4: Word Window Classiﬁca;on Add to Reading List Source URL: cs224d.stanford.edu Language: English - Date: 2015-04-23 19:29:38 Abstract algebra Econometrics Group theory Vector space Euclidean vector Regression analysis Algebra Mathematics Linear algebra
156	Notes on Conjugate-Gradient Ling Li, Learning Systems Group, Caltech Minimize the error function E(w) with CG • start: w0 , d0 = −g0 = − Add to Reading List Source URL: www.work.caltech.edu Language: English - Date: 2005-11-24 18:42:35 Gradient method Numerical analysis Numerical linear algebra Gradient descent
157	Group Non-negative Matrix Factorization with Natural Categories for Question Retrieval in Community Question Answer Archives Guangyou Zhou, Yubo Chen, Daojian Zeng, and Jun Zhao National Laboratory of Pattern Recognition Add to Reading List Source URL: anthology.aclweb.org Language: English - Date: 2014-08-08 12:19:00 Matrix theory Numerical linear algebra Complexity classes Multivariate statistics NP Computational complexity theory Non-negative matrix factorization Learning to rank BM25 Algebra Mathematics Linear algebra
158	From propositional to first-order monitoring Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA? Software Systems Research Group, 2 Australian National University Add to Reading List Source URL: www.gilvegliach.it Language: English - Date: 2014-02-20 13:15:15 Temporal logic Metalogic FO Model theory Interpretation IP Theoretical computer science Logic Linear temporal logic
159	From propositional to first-order monitoring Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA? Software Systems Research Group, 2 Australian National University Add to Reading List Source URL: kuester.multics.org Language: English - Date: 2015-05-08 04:15:01 Temporal logic Metalogic FO Model theory Interpretation IP Theoretical computer science Logic Linear temporal logic
160	110 c W.C Carter MITFall 2012 Lecture 8 Add to Reading List Source URL: pruffle.mit.edu Language: English - Date: 2012-09-24 14:02:45 Elementary mathematics Linear algebra Binary operations Complex numbers Number Imaginary number Real number Mathematica Imaginary unit Mathematics Algebra Group theory

UPDATE